programming logic proof
[计] 程序设计逻辑证明
热门查询
- stampede n. 惊跑；人群的蜂拥；军队溃败 vt. 使…惊逃；抢占 vi. 蜂拥；逃窜
- dizzily adv. 使人眼花地；头昏眼花地
- enliven vt. 使活泼；使生动；使有生气，使活跃
- attender n. 出席者；按规定常到的人；常客
- Bernardo [人名] 伯纳多; [地名] [美国] 伯纳多
- in spite of na. spite of 不管；〔古语〕无视 [网络] 尽管；不顾；虽然
- viral adj. 病毒性的
- elvis n. 埃尔维斯（男子名）
- civilise vt. 教化；文明化；使开化 vi. 变成文明社会（等于civilize）
- tableland n. 高原；台地
- induce vt. 诱导；引起；引诱；感应
- ala n. （昆虫的）翼，翅
- rathole n. 鼠穴；被鼠咬成的洞
- dory n. 海鲂；平底小渔船 n. (Dory)人名；(法)多里
- trusty n. 模范囚犯；可信赖的人 adj. 可靠的；可信任的 n. (Trusty)人名；(英)特拉斯蒂
- altruistically adv. 利他地；无私地
- toothed adj. 有齿的；锯齿状的；凛冽的 v. 装齿；使成锯齿状；咬合（tooth的过去分词）
- vacancies n. 空缺额；缺位（vacancy复数）
- postbox n. 邮箱
- airless adj. 不通风的；没有风的；缺少空气的
考试词汇表
- Benzathini Benzylpenicilinum
- Benzindopyrine Hydrochloride
- Benzo(a)pyrene Monooxygenase
- Benzodiazepine GABA Receptor
- Benzodiazepine Tranquilizers
- Benzodiazepine-GABA Receptor
- Benzoylarginine Nitroanilide
- Benzydamine Monohydrochoride
- Benzylpenicillin sodium salt
- Bepheninum Hydroxynaphthoate
- Berberis heteropoda Schrenk.
- Berberis kansuensis Schneid.
- Berberis kunmingensis C.Y.Wu
- Berchemia floribunda Brongn.
- Bergenia crassifolia Fritsh.
- Bergmann plaster bandage saw
- Bergmann's lithotomy forceps
- Bergstrom's maxilla elevator
- Bering Str.(Beringov Proliv)
- Beringov Proliv(Bering Str.)
